propositional dynamic logic造句

例句与造句

1. Propositional dynamic logic, or PDL, was derived from dynamic logic in 1977 by Michael J . Fischer and Richard Ladner.
2. We present the syntax and semantic of Public Announcement Logic ( PAL ), which combines features of epistemic logic and propositional dynamic logic.
3. Based on these three components ( epistemic model, event model and product update ), Baltag, Moss and Solecki defined a general logical language inspired from the logical language of propositional dynamic logic to reason about information and knowledge change.
4. It's difficult to find propositional dynamic logic in a sentence. 用propositional dynamic logic造句挺难的